#include "kernel/types.h"
#include "user/user.h"

int main(int argc, char* argv[]) {
    if(argc == 2) {
        int time = atoi(argv[1]);
        printf("sleep for %d seconds:\n", time);
        printf("sleeping....\n");
        sleep(time * 10);
    }

    else 
        printf("has not sleep time argument\n");

    exit(0);
}